Article 5311

Title of the article

VERIFICATION OF IEC 61499 APPLICATION BASED ON THE METHOD OF MODEL CHECKING

Authors

Dubinin Viktor Nikolaevich, Candidate of engineering sciences, associate professor, sub-department of computer science, Penza State University, victor_n_dubinin@yahoo.com
Vyatkin Valery Vladimirovich, Doctor of engineering sciences, professor, department of electrical and computer
science, Auckland University (Auckland, New Zealand), victor_n_dubinin@yahoo.com 

Index UDK

681.5 : 004.415.28 

Abstract

The article describes an approach to verification of IEC 61499 control applications on the basis of the Model Checking method. In the scope of the approach, the authors suggest a formal model of system conditions transition in the form of functions changing rules. The article considers a demonstration example. 

Key words

verification, symbolic model, function block, standard IEC 61499. 

Download PDF

 

Дата создания: 25.08.2014 15:42
Дата обновления: 26.08.2014 09:10